(define main
  (lambda (x)
    (x (lambda (x)
	 (x x)))))
